Hybrid action systems
نویسندگان
چکیده
Based on the di erential action introduced in [12] we extend the action system framework into a hybrid action system framework. Hybrid action systems are to be used in modelling and analysing hybrid systems. The meaning of a hybrid action system is given as an ordinary action system. We also extended the de nition of a parallel composition for action systems to handle the continuous behaviour in the hybrid action system framework.
منابع مشابه
Linear Hybrid Action Systems
Action Systems is a predicate transformer based formalism for the develop ment of reactive and distributed systems Recently Action Systems were extended with a new action called the di erential action It models con tinuous behaviour Action Systems with di erential actions are used for modelling hybrid systems In this paper we investigate what kind of hybrid systems are conve niently captured by...
متن کاملVeriication of Linear Hybrid Action Systems
Action Systems is a predicate transformer based formalism for the devel opment of reactive and distributed systems by re nement Lately Action Systems was extended with a di erential action that models continuous be haviour Such action systems capture hybrid systems where a discrete con troller interacts with some continuously evolving environment Recently we investigated a class of Action Syste...
متن کاملAction Systems with Continuous Behaviour
An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. We extend conventional action systems with a di erential action consisting of a di erential equation and an evolution guard. The semantics is giv...
متن کاملQualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back et al. in order to describe parallel and distributed computations of discrete systems, i.e. systems with discrete state space and discrete control. In order to cope with hybrid systems, i.e. systems with continuous e...
متن کاملA Hybrid Classifier for Characterizing Motor Unit Action Potentials in Diagnosing Neuromuscular Disorders
Background: The time and frequency features of motor unit action potentials (MUAPs) extracted from electromyographic (EMG) signal provide discriminative information for diagnosis and treatment of neuromuscular disorders. However, the results of conventional automatic diagnosis methods using MUAP features is not convincing yet.Objective: The main goal in designing a MUAP characterization system ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 290 شماره
صفحات -
تاریخ انتشار 2003